Towards a skeleton based parallelising compiler for SML
نویسنده
چکیده
A design for a skeleton based parallelising compiler for a pure functional subset of Standard ML is presented. The compiler will use Structural Operational Semantics based prototype instrumentation to determine communication and processing costs at sites of higher order function use. Useful parallelism will be identiied through performance models for equivalent algorithmic skeletons. Parallelism will be optimised through proof plan driven program transformation. The compiler will generate C utilising MPI for inter-process communication .
منابع مشابه
Engineering a Parallel Compiler for Standard Ml
We present the design and partial implementation of an automated parallelising compiler for Standard ML using algorithmic skeletons. Source programs are parsed and elaborated using the ML Kit compiler and a small set of higher order functions are automatically detected and replaced with parallel equivalents. Without the presence of performance predictions, the compiler simply instantiates all i...
متن کاملParallel Functional Island Model Genetic Algorithms through Nested Algorithmic Skeletons
Island model genetic algorithms(GAs) are based on independent GAs which evolve separately, and intermittently exchange genetic material. Such models may be expressed as nested higher-order functions and realised as the corresponding nested algorithmic skeletons. Here we consider the use of an island model GA for the Traveling Salesperson Problem(TSP) in the evaluation of our parallelising compi...
متن کاملComparative Cross-Platform Performance Results from a Parallelizing SML Compiler
We have developed a compiler for Standard ML which allows instantiation of a xed set of higher order functions with equivalent parallel algorithmic skeletons written in C and MPI. The compiler is intended to be both portable and semi-automatic. Here we discuss the performance of the code generated by the compiler, for ve exemplar programs on six MIMD parallel machines. Results suggest acceptabl...
متن کاملTowards a Parallelising COBOL Compiler
This paper briefly describes some of the fundamental issues in developing an automatic parallelising COBOL compiler. The rationale for such a tool and its connection with research in scientific computing is described. This is followed by an account of the useful forms of parallelism to be found in a COBOL program and how they may be detected using dependence analysis. Finally, transformations t...
متن کاملEmbodying Parallel Functional Skeletons: An Experimental Implementation on Top of MPI
This paper aims at presenting an experimental but practical implementation of a skeleton-based parallel programming methodology based upon the integration of the MPI message-passing interface and a state-of-the-art ML compiler. The combination of a small number of higher-level communication abstractions and a SPMD style of programming has proven to provide a safe and fast way of designing paral...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997